Displacement logic for anaphora
نویسندگان
چکیده
منابع مشابه
Predicate Logic with Anaphora
In this paper I make a case for a separate treatment of (singular) anaphoric pronouns within a predicate logic with anaphora (PLA). Discourse representation theoretic results (from Kamp 1981) can be formulated in a compositional way, without d-dling with orthodox notions of scope and binding. In contrast with its predecessor dynamic predicate logic (Groenendijk and Stokhof 1991), the system of ...
متن کاملA Variable-free Logic for Anaphora
In a series of papers from 1973 to 1982, Patrick Suppes developed a model-theoretic semantics for English. Suppes' semantics deviated sharply from the prevailing Montagovian semantics in that it employed neither quantifiers nor variables, had an extremely simple type structure, and was based on the algebra of sets and relations. This paper describes a logic designed to represent reasoning in En...
متن کاملThe Logic of Anaphora Resolution
This paper concerns the semantics/pragmatics interface for natural language, and in particular the question of how anaphora resolution should be orchestrated in a dynamic semantics. Previous dynamic systems such as DPL have relied on preindexation of anaphors and antecedents. It is argued that this represents a serious inadequacy. A dynamic semantic system, RPL, is proposed which eliminates the...
متن کاملAnaphora and Intensionality in Classical Logic
The dynamic per^)ective on natural language suggests that texts change the value o f contextual parameteis in much the way computer programs change the value o f program variables. One phenomenon where dynamic aspects emerge is that o f anaphora (introduction o f referents for later a n ^ h o ric links), but intensionality and tense are other candidate phenomena. However, most logics used in co...
متن کاملAnaphora and the Logic of Change
There are three major currents in semantic theory these days. First there is what Chierchia [1990] aptly calls “what is alive of classical Montague semantics”. Secondly, there is Discourse Representation Theory. Thirdly, there is Situation Semantics. Each of these three branches of formal semantics has its own specialities and its particular focuses of interest. Each can boast of its own succes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Computer and System Sciences
سال: 2014
ISSN: 0022-0000
DOI: 10.1016/j.jcss.2013.05.006